\input{preamble-final-acm}
%\input{preamble-tr}
%\input{preamble-submit}
%\usepackage{trbibtex}   % use bib-style bibliographic database
\usepackage{multicol}
\usepackage{color}
\usepackage{verbatim}   % for \comment environment
\usepackage{cite}       % sort references
\usepackage{dblfloatfix}
\usepackage{times}
\usepackage{setspace}
\usepackage{wrapfig}
\usepackage{subfigure}
\usepackage{amssymb}    % for \varnothing (empty set) symbol
\def\lb{\linebreak[1]}
\def\sys{\textit{SPATL}}
\def\bigspot#1{\begin{picture}(15,15)(-2,-2)%                                 
 \put(2,0){\circle{20}}\put(-3,-3){#1}\end{picture}}                       
\def\spot#1{\begin{picture}(10,10)(-5,-4)%                                   
 \put(1,0){\circle*{10}}\put(-1,-3){\textcolor{white}{#1}}\end{picture}}   
\def\bigspot#1{\begin{picture}(15,15)(-5,-5)%                                
 \put(2,0){\circle*{15}}\put(-3,-3){\textcolor{white}{#1}}\end{picture}}   

\DeclareRobustCommand{\=}{\_\linebreak[1]}

\newcommand{\notekai}[1]{{\Large Kai:} {\bf #1}}
\newcommand{\notesandhya}[1]{{\Large Sandhya:} {\bf #1}}

%\renewcommand{\floatpagefraction}{.9}   % instead of .5
%\renewcommand{\dblfloatpagefraction}{.8}
%\renewcommand{\topfraction}{.95}
%\renewcommand{\dbltopfraction}{.9}
%\renewcommand{\textfraction}{.1}        % instead of .2
%\renewcommand{\bottomfraction}{.5}      % instead of .3
\setcounter{topnumber}{3}       % allow lots of floats at top of page
\addtolength{\abovecaptionskip}{-10pt} %reduce space above captions
\pagenumbering{arabic}
% reduce space before \paragraph:
\makeatletter
\renewcommand\paragraph{%
  \@startsection{paragraph}{4}{\z@}%
    {\medskipamount}%
    {0.0em}%
    {\normalsize\bfseries\indent}}
\makeatother

%\makeatletter
%\renewcommand\section{\@startsection
%{section}{1}{0pt}%
%{0.2\baselineskip}%
%{0.1\baselineskip}%
%{\normalfont\Large\bfseries\raggedright}%
%}
%\makeatother

%\makeatletter
%\renewcommand\subsection{\@startsection
%{subsection}{2}{0pt}%
%{0.1\baselineskip}%
%{0.01\baselineskip}%
%{\normalfont\large\bfseries\raggedright}%
%}
%\makeatother

%% Environment changes for multiple col package. Figure and Table
%% appear with only these commands
\makeatletter
\newenvironment{tablehere}
{\def\@captype{table}}
{}

\newenvironment{figurehere}
{\def\@captype{figure}}
{}
\makeatother

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% mls: \code{...} command.
% Like \verb|...| but with braces, and not so fragile.
%
% Give me back the <, >, and _ characters in chosen modes
% unfortunately, this hack does not work when the <, >, or _ is embedded
% in another command.  In such circumstances use $<$, $>$, and \_
%
\makeatletter
\def\real@ltgtus{%
    \catcode`<=\active
    \catcode`>=\active
    \catcode`\_=\active
}
{\real@ltgtus
    \gdef<{\futurelet\@let@token\less@than}%
    \gdef>{\futurelet\@let@token\greater@than}%
    \gdef_{\underscore}%
}
% modify \textunderscore (standard LaTeX macro) to print as the _
% character in \tt font; as an appropriate rule in other fonts.
\renewcommand{\textunderscore}{\ifdim\fontdimen4\font=0pt\string_\else
    \leavevmode\kern.06em\vbox{\hrule width0.3em}\fi}
% \underscore is subscript in math mode, textunderscore otherwise
\DeclareRobustCommand{\underscore}{\ifmmode\sb\else\textunderscore\fi}
% similarly, create backslash, lessthan, and greaterthan macros that use
% the proper font:
\def\bs{\ifdim\fontdimen4\font=0pt\char92\relax\else
    \leavevmode$\backslash$\fi}
\newcommand{\less@than}{\ifdim\fontdimen4\font=0pt\string<\else
    \leavevmode\mathhexbox13C\fi}
\newcommand{\greater@than}{\ifdim\fontdimen4\font=0pt\string>\else
    \leavevmode\mathhexbox13E\fi}

% \code prints its argument in fixed-width font.
% There are no special characters in a code command, other than braces
% and backslash.
% It's similar to \verb, except that it's delimited normally (with
% braces).
\def\verythinspace{\kern .05em }
\DeclareRobustCommand{\code}{\begingroup
    \frenchspacing
    \real@ltgtus
    \@makeother\$\@makeother\&\@makeother\#%
    \@makeother\^\@makeother\%\@makeother\~%
    \@code}
\let\codefont\tt
\def\@code#1{\strut\verythinspace{\codefont
    #1}\verythinspace\strut\endgroup}
% For some reason I don't understand, escaped curly braces don't work
% right in \code commands.  Use the following instead:
\def\ttlb{{\tt\char123}}
\def\ttrb{{\tt\char125}}
\def\ttcaret{{\tt\char94}}
\def\tttilde{{\tt\char126}}
\makeatother
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% ACM title header format
\title{\vspace{-30pt} SPATL : Honey, I Shrunk the Coherence Directory %
% \thanks{%
%   This work was supported in part by NSF grants
%             CCR-0204344,        % MLS synch 2
%             CNS-0411127,        % SD/MLS energy
%             CNS-0615139,        % MLS/SD synch 3
%             and
%             CNS-0509270;        % CD et al phase detection
%         an IBM Faculty Partnership Award;
%         equipment support from Sun Microsystems Laboratories;
%         and financial support from Intel and Microsoft.
%     }
    \vspace*{-2.0\baselineskip}
}

%\title{\vspace*{-.5\baselineskip}%
%    \textbf{Flexible Decoupled Transactional Memory Support}%
%    \thanks{
%       This work was supported in part by NSF grants
%           CCR-0204344,        % MLS synch 2
%           CNS-0411127,        % SD/MLS energy
%           CNS-0615139,        % MSL/SD synch 3
%           and
%           CNS-0509270;        % CD et al phase detection
%       an IBM Faculty Partnership Award;
%       financial and equipment support from Sun Microsystems Laboratories;
%       and financial support from Intel and Microsoft.
%   }
%}
%\author{  Arrvindh Shriraman \qquad Sandhya Dwarkadas \qquad Kai Shen \\
%{Department of Computer Science, University of Rochester} \\
%{$\{$ashriram,sandhya,kshen$\}$@cs.rochester.edu}
%}
\date{}
\begin{document}

\maketitle
\vspace{20pt}
\begin{abstract}
%\centerline{\large\textbf{Abstract}}
\begin{singlespace}
%\bigskip
%\begin{quotation}
\emph{\input{00-abstract.tex}}
%\end{quotation}
\end{singlespace}
\end{abstract}


\input{01-intro.tex}
\input{02-background.tex}
\input{03-hw.tex}
\input{04-analytical.tex}
\input{05-evaluation.tex}
\input{06-related.tex}
\input{07-conclusions.tex}
% tighten spacing:
%\let\oldthebibliography\thebibliography
%\def\thebibliography#1{\oldthebibliography{#1}\parsep-5pt\itemsep0pt}
% \vspace{-\baselineskip}
{
\setstretch{1}
 \footnotesize
% \scriptsize
\bibliographystyle{abbrv}
 \bibliography{zhao,systems_old}
}
\end{document}
